41![Voevodsky’s Univalence Axiom in homotopy type theory ´ Steve Awodey, Alvaro Pelayo and Michael A. Warren Voevodsky’s Univalence Axiom in homotopy type theory ´ Steve Awodey, Alvaro Pelayo and Michael A. Warren](https://www.pdfsearch.io/img/5c9495986b434724ac9ff5288a8d84de.jpg) | Add to Reading ListSource URL: www.andrew.cmu.eduLanguage: English - Date: 2014-06-01 15:27:23
|
---|
42![arXiv:0906.4521v1 [math.LO] 24 Jun 2009 ¨ COMPLEXES MARTIN-LOF S. AWODEY, P. HOFSTRA, AND M. A. WARREN Dedicated to Per Martin-L¨ arXiv:0906.4521v1 [math.LO] 24 Jun 2009 ¨ COMPLEXES MARTIN-LOF S. AWODEY, P. HOFSTRA, AND M. A. WARREN Dedicated to Per Martin-L¨](https://www.pdfsearch.io/img/f99b9021ab6a5568a5a285f4a4f4bffb.jpg) | Add to Reading ListSource URL: www.andrew.cmu.eduLanguage: English - Date: 2014-06-01 15:27:23
|
---|
43![LAWVERE-TIERNEY SHEAVES IN ALGEBRAIC SET THEORY S. AWODEY, N. GAMBINO, P. L. LUMSDAINE, AND M. A. WARREN Abstract. We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the constructio LAWVERE-TIERNEY SHEAVES IN ALGEBRAIC SET THEORY S. AWODEY, N. GAMBINO, P. L. LUMSDAINE, AND M. A. WARREN Abstract. We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the constructio](https://www.pdfsearch.io/img/266ac0fcf8c66550fb89be0781f7e4ca.jpg) | Add to Reading ListSource URL: www.andrew.cmu.eduLanguage: English - Date: 2014-06-01 15:27:23
|
---|
44![Homotopy Theoretic Aspects of Constructive Type Theory Michael Alton Warren August 2008
Carnegie Mellon University Homotopy Theoretic Aspects of Constructive Type Theory Michael Alton Warren August 2008
Carnegie Mellon University](https://www.pdfsearch.io/img/cb6c5de57ab6e39744e1b623f64b9477.jpg) | Add to Reading ListSource URL: www.andrew.cmu.eduLanguage: English - Date: 2014-06-01 15:27:30
|
---|
45![Associative arrays in C++ Andrew Koenig AT&T Bell Laboratories 184 Liberty Corner Road; Warren NJ 07060; [removed] ABSTRACT An associative array is a one-dimensional array of unbounded size whose subscripts can Associative arrays in C++ Andrew Koenig AT&T Bell Laboratories 184 Liberty Corner Road; Warren NJ 07060; [removed] ABSTRACT An associative array is a one-dimensional array of unbounded size whose subscripts can](https://www.pdfsearch.io/img/389ac6f23814c00719a93fe3ffe71a57.jpg) | Add to Reading ListSource URL: www.softwarepreservation.orgLanguage: English - Date: 2009-05-10 11:11:24
|
---|
46![Andrew Donald Booth Born February[removed], East Molesy, Surrey, UK; early computer developer at the University of London who worked with John von Neumann; with Warren Weaver in 1946, first Andrew Donald Booth Born February[removed], East Molesy, Surrey, UK; early computer developer at the University of London who worked with John von Neumann; with Warren Weaver in 1946, first](https://www.pdfsearch.io/img/f45d4d1611984e50310ea00842b30091.jpg) | Add to Reading ListSource URL: pages.cpsc.ucalgary.caLanguage: English - Date: 2013-04-17 13:19:03
|
---|
47![Atlantic Reports investing in change Atlantic Reports investing in change](https://www.pdfsearch.io/img/32c01be7da610287036cc4b36e04c6dd.jpg) | Add to Reading ListSource URL: www.atlanticphilanthropies.orgLanguage: English - Date: 2012-03-22 13:49:36
|
---|
48![Journal of Law, Economics, and Organization Advance Access published May 11, 2007 JLEO Journal of Law, Economics, and Organization Advance Access published May 11, 2007 JLEO](https://www.pdfsearch.io/img/348e5fa222af7343b3392c6a051bf14e.jpg) | Add to Reading ListSource URL: 169.229.248.216Language: English - Date: 2013-11-06 19:35:29
|
---|
49![This article was downloaded by: [Andrew, Alex M.] On: 22 January 2011 Access details: Access Details: [subscription number[removed]] This article was downloaded by: [Andrew, Alex M.] On: 22 January 2011 Access details: Access Details: [subscription number[removed]]](https://www.pdfsearch.io/img/b35c9d70ff42eb129976e34ac2c67de0.jpg) | Add to Reading ListSource URL: wosc.coLanguage: English - Date: 2013-06-01 12:39:37
|
---|
50![NYS Board of Elections November 2, 2010 Governor Vote by Assembly District 1ST ASSEMBLY DISTRICT NYS Board of Elections November 2, 2010 Governor Vote by Assembly District 1ST ASSEMBLY DISTRICT](https://www.pdfsearch.io/img/8f207186703148d505e1282c3276f78a.jpg) | Add to Reading ListSource URL: www.elections.ny.govLanguage: English - Date: 2011-04-06 16:17:21
|
---|